Institute for Logic

Results: 325



#Item
231Biology / Genetics / Pseudoknot / Nucleic acid secondary structure / Dynamic programming / NUPACK / Partition / Algorithm / Recursion / Mathematics / RNA / Mathematical logic

An Algorithm for Computing Nucleic Acid Base-Pairing Probabilities Including Pseudoknots ROBERT M. DIRKS,1 NILES A. PIERCE2 1 Department of Chemistry, California Institute of Technology, Pasadena, California 91125

Add to Reading List

Source URL: piercelab.caltech.edu

Language: English - Date: 2010-09-08 02:56:26
232Aging-associated diseases / Arthritis / Rheumatology / Connective tissue diseases / Osteopathies / Osteoporosis / Rheumatoid arthritis / National Institute of Arthritis and Musculoskeletal and Skin Diseases / Osteoarthritis / Health / Medicine / Anatomy

What Are Osteoporosis and Arthritis and How Are They Different? Fast Facts: An Easy-to-Read Series of Publications for the Public Osteoporosis and arthritis are easy to confuse. This fact sheet explains how they are alik

Add to Reading List

Source URL: imageserv10.team-logic.com

Language: English - Date: 2011-08-02 19:39:25
233Nursing / Health policy / Health economics / Logic model / Patient safety / Performance measurement / Canadian Institute for Health Information / Social determinants of health / Health system / Health / Medicine / Public health

Health System Outcomes and Measurement Framework December[removed]Amended August 2014)

Add to Reading List

Source URL: www.health.alberta.ca

Language: English - Date: 2014-11-08 03:21:17
234Model theory / Predicate logic / Generalization / Conjunctive query / Structure / First-order logic / Function / Interpretation / FO / Mathematical logic / Logic / Mathematics

Generalizing Conjunctive Queries for Informative Answers Katsumi Inoue and Lena Wiese? National Institute of Informatics[removed]Hitotsubashi, Chiyoda-ku, Tokyo[removed], Japan {ki|wiese}@nii.ac.jp

Add to Reading List

Source URL: wiese.free.fr

Language: English - Date: 2011-12-16 02:42:21
235Logic form / Jaccard index / Science / Artificial intelligence / Conjunctive query / Database theory / Statistics

Syntactic Similarity for Ranking Database Answers obtained by Anti-Instantiation Lena Wiese Institute of Computer Science University of G¨ ottingen

Add to Reading List

Source URL: wiese.free.fr

Language: English - Date: 2013-09-30 07:46:26
236Methodology / Impact assessment / Program evaluation / Logic model / Empowerment evaluation / Evaluation methods / Evaluation / Sociology

INSTITUTE FOR YOUTH, EDUCATION & FAMILIES July[removed]The California Cities Gang Prevention Network Evaluation Summit

Add to Reading List

Source URL: www.ccgpn.org

Language: English - Date: 2012-06-12 12:41:58
237Ballistics / Motion / Physical quantities / Centripetal force / Acceleration / Control theory / Trajectory / Velocity / Work / Physics / Mechanics / Kinematics

A New Nonlinear Guidance Logic for Trajectory Tracking Sanghyuk Park∗, John Deyst†, and Jonathan P. How‡ Massachusetts Institute of Technology, Cambridge, MA, 02139, USA A new nonlinear guidance logic, that has dem

Add to Reading List

Source URL: acl.mit.edu

Language: English - Date: 2011-06-05 16:48:17
238Network architecture / Network congestion / FAST TCP / TCP congestion avoidance algorithm / Queuing delay / Dynamical system / Compound TCP / Transmission Control Protocol / Entailment / Logic / Network performance / Computing

1 An Improved Link Model for Window Flow Control and Its Application to FAST TCP Krister Jacobsson∗ , Lachlan L. H. Andrew† , Ao Tang‡ , Steven H. Low† , H˚akan Hjalmarsson∗ ∗ Royal Institute of Technology

Add to Reading List

Source URL: leecenter.caltech.edu

Language: English - Date: 2009-05-08 15:45:09
239Mathematical logic / Database constraints / Logic / Model theory / Relational model / Functional dependency / First-order logic / Function / Relational database / Data management / Database theory / Data modeling

Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints Lena Wiese National Institute of Informatics[removed]Hitotsubashi, Chiyoda-ku, Tokyo[removed], Japan [removed]

Add to Reading List

Source URL: wiese.free.fr

Language: English - Date: 2010-12-14 02:40:39
240Science / Impact assessment / Logic model / Program evaluation / Logic / Institute of Education Sciences / Empowerment evaluation / WestEd / Evaluation / Evaluation methods / Education

Logic models: A tool for designing and monitoring program evaluations Brian Lawton, University of Hawaii at Manoa Paul R. Brandon, University of Hawaii at Manoa Louis Cicchinelli, Mid-continent Research for Education an

Add to Reading List

Source URL: www.relpacific.mcrel.org

Language: English - Date: 2014-06-05 20:26:52
UPDATE